$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. first($e$) $\Rightarrow$ loc($e$) $=$ loc(${\it e'}$) $\in$ Id $\Rightarrow$ $e$ $\leq$ ${\it e'}$